Model checking

Results: 996



#Item
51SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications Lu´ıs Caires and Hugo Torres Vieira CITI / Departamento de Inform´atica, FCT Universidade Nova de Lisboa, Portugal Abst

SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications Lu´ıs Caires and Hugo Torres Vieira CITI / Departamento de Inform´atica, FCT Universidade Nova de Lisboa, Portugal Abst

Add to Reading List

Source URL: ctp.di.fct.unl.pt

Language: English - Date: 2012-09-27 14:27:13
    52

    Web appendix Model checking – useful diagnostic plots Scatter plot of deviance residuals vs time. A plot of residuals will ideally show an even band of points with no particular pattern over time, and around 95% of val

    Add to Reading List

    Source URL: www.ag-myresearch.com

    Language: English - Date: 2013-06-16 19:06:00
      53Model checking security properties of control flow graphs Fr´ed´eric Besson Thomas Jensen IRISA/CNRS Campus de Beaulieu FRennes Cedex

      Model checking security properties of control flow graphs Fr´ed´eric Besson Thomas Jensen IRISA/CNRS Campus de Beaulieu FRennes Cedex

      Add to Reading List

      Source URL: people.rennes.inria.fr

      Language: English - Date: 2014-09-03 04:27:28
        54Compositional Higher-Order Model Checking via ω -Regular Games over B¨ohm Trees ∗ Takeshi Tsukada C.-H. Luke Ong

        Compositional Higher-Order Model Checking via ω -Regular Games over B¨ohm Trees ∗ Takeshi Tsukada C.-H. Luke Ong

        Add to Reading List

        Source URL: www.kb.is.s.u-tokyo.ac.jp

        Language: English - Date: 2016-04-18 06:57:45
          55Formale Systeme LTL und Model Checking Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK KIT – I NSTITUT F UR

          Formale Systeme LTL und Model Checking Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK KIT – I NSTITUT F UR

          Add to Reading List

          Source URL: i12www.ira.uka.de

          Language: German - Date: 2013-02-06 04:05:25
            56Higher-Order Model Checking by Abstraction of Type Derivation Rewriting Takeshi Tsukada1,2 and Naoki Kobayashi3 1 Graduate School of Information Science, Tohoku University

            Higher-Order Model Checking by Abstraction of Type Derivation Rewriting Takeshi Tsukada1,2 and Naoki Kobayashi3 1 Graduate School of Information Science, Tohoku University

            Add to Reading List

            Source URL: www-kb.is.s.u-tokyo.ac.jp

            Language: English - Date: 2016-04-18 06:57:45
              57Model selection Model checking Chapter 6 - Model selection and checkingHidden Markov Models

              Model selection Model checking Chapter 6 - Model selection and checkingHidden Markov Models

              Add to Reading List

              Source URL: www2.imm.dtu.dk

              Language: English - Date: 2014-12-18 07:20:59
                58model checking or other formal verification tools. In the months leading up to the competition, the organizers created an open source infrastructure for generating problem instances and interacting with submitted control

                model checking or other formal verification tools. In the months leading up to the competition, the organizers created an open source infrastructure for generating problem instances and interacting with submitted control

                Add to Reading List

                Source URL: gmwgroup.harvard.edu

                Language: English - Date: 2018-01-30 14:11:27
                  59Model Checking of Statechart Models arXiv:cs/0407038v1 [cs.SE] 16 Jul 2004 Survey and Research Directions Purandar Bhaduri

                  Model Checking of Statechart Models arXiv:cs/0407038v1 [cs.SE] 16 Jul 2004 Survey and Research Directions Purandar Bhaduri

                  Add to Reading List

                  Source URL: arxiv.org

                  Language: English - Date: 2008-02-01 14:46:18
                    60Model Checking of Multi-Process Applications Using SBUML and GDB Yoshihito Nakagawa University of Tokyo Richard Potter Japan Science and Technology Agency

                    Model Checking of Multi-Process Applications Using SBUML and GDB Yoshihito Nakagawa University of Tokyo Richard Potter Japan Science and Technology Agency

                    Add to Reading List

                    Source URL: nicosia.is.s.u-tokyo.ac.jp

                    Language: English - Date: 2005-05-01 05:50:08